\section{Оп. семантика большого шага}

\begin{itemize}
\item Синтаксис операторов и программ.
\item Оношение на конфигурациях, задаваемые операторами.
\item Описание отношений в терминах оп. семантики большого шага.
\item Семантика большого шага для операторов.
\item Семантика для программ.
\item Пример интерпретации. Дерево вывода. Варианты
развития событий.
\item Доказательство индукцией по дереву вывода. Детерминированность
семантики.
\item Эквивалентность операторов.
\item Задачи: раскрутка циклов, эквивалентность.
Ассоциативность композиции. Цикл for, детерминированность языка
с добавленным циклом for.
\item Варианты семантик цикла for. Окружения, протаскивание информации о занятых переменных.
\item Задачи: неэквивалентность skip и x:=x. repeat-until. i++, i--. Доказательство 
эквивалентности разных семантик для цикла for (с новой переменной и for-через-for).
\end{itemize}
